Une procédure de purification pour les problèmes de complémentarité linéaire, monotones
نویسندگان
چکیده
منابع مشابه
Étude constructive de problèmes de topologie pour les réels irrationnels
We study in a constructive manner some problems of topology related to the set Irr of irrational reals. The constructive approach requires a strong notion of an irrational number ; constructively, a real number is irrational if it is clearly different from any rational number. We show that the set Irr is one-to-one with the set Dfc of infinite developments in continued fraction (dfc). We define...
متن کاملField, une procédure de décision pour les nombres réels en Coq
Nous nous proposons d'automatiser les preuves d'égalités sur les nombres réels dans le système Coq en utilisant la théorie des corps commutatifs. L'idée de l'algorithme consiste à se débarrasser des inverses a n de pouvoir se brancher sur la procédure de décision déjà existante sur les anneaux abéliens (Ring). L'élimination des inverses se fait de manière complètement ré exive et la ré exion es...
متن کاملLes émotions : une métaphore pour la résolution de problèmes dynamiques distribués
This paper presents a method and its implementation for solving distributed and dynamic constraints satisfaction problem. In order to improve adaptability and performance, our algorithm is based on agents with autonomous behavior guided by metaphoric assumptions. Our approach can be distinguished by the following points: The metaphor turns on sociological and emotional criteria without negotiat...
متن کاملUne procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
In this paper, we deal with the satisfiability problem for Systems of constraints over hereditarily finite sets This problem is central for integrating sets in programming languages, and particularly for constraint logic programming languages The approach we propose hère is based on reducing Systems of set constraints into Systems ofhnear integer equalities and inequahties (with bounded domain)...
متن کاملIMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus
HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Operations Research
سال: 2004
ISSN: 0399-0559,1290-3868
DOI: 10.1051/ro:2004012